val foo: (: Int) -> Int